Talks

Invited Conference Talks

1. The Structure of Ordinals in Realizability Models

   This was an invited talk at the Realizability Workshop at the CIRM, Aix-Marseille University, April 2025

2. A Guide to Krivine Realizability

   This was an invited talk at a two-day Logic Meeting in Bristol, June 2023

3. Separating Dependent Choice Principles in Set Theory without Power Set

   This was an invited talk at the Mid-Atlantic Mathematical Logic Seminar, Rutgers, May 2023

4. Constructing the Constructible Universe Constructively

   This was an invited talk at the Special Session on Proof Theory and Ordinal Analysis at the Logic Colloquium, Reykjavik, June 2022

Contributed Conference Talks

1. Constructing the Constructible Universe Constructively

   This was a talk at the Realizability Workshop, Fontainebleau, October 2022

2. Dependent Choice Principles in Set Theory without Power Set

   This was a talk at the European Set Theory Conference, Turin, August 2022

3. Big Classes and Class Forcings

   This was a talk at Prikry Forcing Online, December 2020

4. Playing Jenga with Infinite Cardinals

   This was a talk at the London Mathematical Society Virtual Graduate Student Meeting, November 2020

5. Embeddings of ZFC without Power Set

   This was a talk at Set Theory in the UK 5, London, February 2020

Invited Seminar Talks

1. Realizability Models for Large Cardinals

   This was a talk at the Séminaire Logique et Interactions, at the University of Marseille, June 2024

2. A Guide to Krivine Realizability

   This was a talk at the Leeds Logic Seminar, October 2023

3. Very large set axioms over Constructive Set Theories

   This was a talk at the Models and Sets Seminar, at the University of Leeds, June 2023

4. ZFC without Power Set: Reflection Strikes Back

   This was a talk at the Séminaire Général de Logique, at the Institut de Mathématiques, Université Paris Cité, February 2023

5. Constructing the Constructible Universe Constructively

   This was a talk at the Manchester Logic Seminar, March 2022

6. Big Classes and the Respected Model

   This was a talk at the CUNY Set Theory Seminar, February 2022

7. Large Cardinals in Weakened Axiomatic Theories

   This was a talk at the Toronto Set Theory Seminar, July 2021

8. Ordinal Oddities

   This was a talk at the Leeds-Ghent Virtual Seminar, February 2021

9. Taking Reinhardt's Power Away

   This was a talk at the Barcelona Set Theory Seminar, January 2021

10. Taking Reinhardt's Power Away

    This was a talk at the CUNY Set Theory Seminar, October 2020

11. Constructing the Constructible Universe Constructively

    This was a talk at the Leeds Virtual Seminar, July 2020

Selected Internal Seminar Talks

1. Computational Content of Set Theory

   This was a talk at the Laboratoire d’Algorithmique, Complexité et Logique Seminar, December 2023

2. This title is false

   This was a talk at the Leeds Pure Postgraduate Seminar, November 2020

3. The Kunen Inconsistency without Power Set

   This was a talk at the Leeds Models and Sets Seminar, March 2020

4. The Definability of the Ground Model in a Set Forcing Extension

   This was a talk at the Leeds Models and Sets Seminar, October 2019

5. Gitik's Model

   This was a talk the Leeds Models and Sets Seminar, October 2018

6. Symmetric Extensions and Models of ZF

   This was a talk at the Leeds Postgraduate Logic Seminar, October 2018